Model engineering

Results: 11341



#Item
791Engineering / Computing / Systems science / Inter-process communication / Kahn process networks / FIFO / Fault tolerance / Queue / Data buffer / Fault model

An Efficient Real Time Fault Detection and Tolerance Framework Validated on the Intel SCC Processor Devendra Rai, Pengcheng Huang, Nikolay Stoimenov and Lothar Thiele Computer Engineering and Networks Laboratory, ETH Zur

Add to Reading List

Source URL: www.tik.ethz.ch

Language: English - Date: 2014-10-27 19:21:28
792Software engineering / Subroutines / Computer programming / Probability / Monte Carlo methods / Machine learning / Statistical models / Annealing / Simulated annealing / Mixture model / Function object

RecapE-M .......................

Add to Reading List

Source URL: genome.sph.umich.edu

Language: English - Date: 2012-12-06 01:48:00
793Computing / Data types / Software engineering / Computer programming / Abstract data types / Fault-tolerant computer systems / Type theory / Consistency model / Transaction processing / Replication / String / List

Replicated Data Types: Specification, Verification, Optimality Sebastian Burckhardt Alexey Gotsman Hongseok Yang

Add to Reading List

Source URL: software.imdea.org

Language: English - Date: 2013-11-14 12:44:57
794

Working Model 2D The world’s most popular 2D computer aided engineering tool Use automatic collision detection and friction to accurately model real-life mechanical systems Track the motion of an object under specific

Add to Reading List

Source URL: www.design-simulation.com

Language: English - Date: 2009-04-30 19:30:52
    795Computing / Software engineering / Concurrent computing / Concurrency / Parallel computing / Computer memory / Compiler construction / OpenMP / Lock / Memory model / Barrier / Linearizability

    Performance Implications of Fence-Based Memory Models Hans-J. Boehm HP Labs Simplified mainstream (Java, C++)

    Add to Reading List

    Source URL: www.hboehm.info

    Language: English - Date: 2014-02-06 19:37:32
    796Computing / Software engineering / Software / JavaScript / Ajax / Application programming interfaces / Web development / Document Object Model / Cross-browser / JQuery / XUL / Web storage

    Atlantis: Robust, Extensible Execution Environments for Web Applications James Mickens Mohan Dhawan

    Add to Reading List

    Source URL: www.sigops.org

    Language: English - Date: 2011-09-20 03:36:58
    797Software engineering / Computing / Programming language theory / Type theory / Variable / Information flow / ALGOL 68 / Assignment / Java

    Security Domain Model and Implementation Modeling Language Reference Manual version 2.0 May 2008

    Add to Reading List

    Source URL: cisr.nps.edu

    Language: English - Date: 2008-05-12 17:29:24
    798Software / Engineering / Application software / Scientific modeling / 3D graphics software / 3D modeling / Computer-aided engineering / Video game design / Scientific modelling / Geologic modelling / Visualization / Conceptual model

    3D Geo-Information Working Group on Modelling Chair: Chris Gold Secretary: François Anton The first session took a few basic questions as a starting point and the group made a variety of observations. These were summari

    Add to Reading List

    Source URL: www.gdmc.nl

    Language: English - Date: 2008-01-11 05:34:44
    799Artificial intelligence / Computer vision / Machine learning / Feature detection / Ensemble learning / Boosting / Constellation model / AdaBoost / Image segmentation / Edge detection / Outline of object recognition / Decision stump

    Contour-Based Learning for Object Detection Jamie Shotton Department of Engineering University of Cambridge

    Add to Reading List

    Source URL: jamie.shotton.org

    Language: English - Date: 2013-04-10 20:18:03
    800

    Using a Visual Routine to Model the Computation of Positional Relationships Andrew Lovett () Kenneth Forbus () Qualitative Reasoning Group Electrical Engineering and C

    Add to Reading List

    Source URL: vvv.spatiallearning.org

    Language: English - Date: 2010-05-15 15:16:45
      UPDATE